val make_proof_visual : Ecosystem.ecosystem -> (int * ProofAssembler.species) -> unit
